2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Formal Hardware Verification: Methods and Systems in Comparison
Thomas Kropf
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.14 Mb
#2
Theorem Provers in Circuit Design: Theory, Practice and Experience
Ramayya Kumar
,
Thomas Kropf
3.04 Mb
#3
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ...
Laurence Pierre
,
Thomas Kropf
4.53 Mb